| - les nœuds logiques ce sont des nœuds qui sont le plongement de la logique classique dans une logique plus vaste, dans une algèbre de Boole plus vaste, la logique modifiée et les nœuds logiques je vais, cette modification et ce plongement va se prolonger jusque dans le calcul des prédicats quantifiés, la quantification, la théorie des ensembles, mais c’est dans le calcul de la coordination que commence cette modification, puisque la coordination, c’est un métalangage, c’est une langage de commentaire, c’est un commentaire du calcul des prédicats quantifiés. Puisque les formules prédicatives quantifiées peuvent être composées entre elles, puisque ce sont des prépositions, que les variables soient instanciées ou quantifiées, vous avez des propositions, et là vous avez des propositions qui vont se coordonner, par ces conjonctions de coordination, c’est pour cette raison, pas la seule et peut être un peu faible qui fait que comme je vous le disais la semaine dernière, Lukazievitch a parlé du Calcul des propositions, en nommant ce calcul par les objets de ce calcul, au lieu de l’appeler comme je propose de le faire Calcul de la coordination, en nommant ce calcul par les transformations, les opérations qu’il fait , qu’il accomplit, voyez on passe de la coordination à la proposition en s’intéressant à ce qui est coordonné, par la coordination, vous avez deux types d’objets, comme toujours en mathématiques, c’est ce qui va donner les catégories, vous avez les objets et les flèches, alors ça peut être un couple d’objet, des couples d’objets, vous pouvez faire correspondre par une flèche, une connexion, et il y aura un connecteur qui va connecter les deux lettres, v12.03, et la négation c’est un connecteur binaire par exemple, à un objet on fait correspondre un autre objet par une flèche, on voit bien que les connecteurs sont de l’ordre des flèches, et que les propositions sont de l’ordre des objets, |
|